Folding Turing is hard but feasible (Version intégrée)